#include <string>
#include <sstream>

// used in generateName
int gNameCounter=1;

std::string generateName(std::string prefix)
{
    std::ostringstream stream;
    stream << prefix << gNameCounter++;
    return stream.str();
}
